/*
 * setPCBPriority.h
 *
 *  Created on: Oct 2, 2013
 *      Author: Joseph DeLong
 */

#ifndef SPCBP_H_
#define SPCBP_H_

void setPCBPriority(char processName[9], int priority, struct MPX_Q *r, struct MPX_Q *b);

#endif /* SPCBP_H_ */
